HAREL, DAVID


HAREL, DAVID
HAREL, DAVID (1950– ), Israeli mathematician and computer scientist. Harel was born in London and immigrated to Israel in 1957. After service in the Israel Defense Forces (1968–71), he graduated with a B.Sc. in mathematics and computer science from Bar-Ilan University (1974), followed by an M.Sc. in computer science from Tel Aviv University (1976), and a Ph.D. from the Massachusetts Institute of Technology (1978). He joined the faculty of the Department of Computer Science and Applied Mathematics of the Weizmann Institute of Science, Rehovot, in 1980 and was appointed professor (1989), William Sussman Professor of Mathematics (1990), department chairman (1989–95), and dean of the Faculty of Mathematics and Computer Science (1998–2004). His past research interests include computability theory, program logic, and database and automata theory. His later interests were software and systems engineering, visual languages, synthesis and communication of smell, and modeling and analysis of biological systems. He invented the language of statecharts and co-designed Statemate and Rhapsody, LSCS, and the play in/out methodology. One of his long-term goals was to adapt the language and tools of computer systems to model and simulate a complete multi-cellular animal such as the C. elegans worm. His national and international reputation is reflected by his many plenary and keynote lectures to conferences worldwide, membership on editorial boards, visiting professorships, and membership on international review committees. His awards include the Association of Computing Machinery's Karl V. Karlstrom Outstanding Educator Award (1992), the Israel Prime Minister's Prize for Software and Software Methods (1997), and the Israel Prize in computer science (2004). Harel has a major interest in education in his field and in science in general. He was a member of Israel's Higher Education Committee (1988–89) and of the Ministry for Education's High School Committee for Computer Science (1990–97). He also gave a series of lectures and organized programs on computer science for Israeli radio and television. His books, such as Computers Ltd.: What They Really Can't Do (2000) and Algorithmics: The Spirit of Computing (1987, 1992, 2004), are acclaimed as readable, outstanding computer science texts for specialists and general readers alike. (Michael Denman (2nd ed.)

Encyclopedia Judaica. 1971.

Look at other dictionaries:

  • David Harel — Born 1950 London, England Nationality Israeli Fields …   Wikipedia

  • Harel — is a surname and may refer to:* Alon Harel (1957 ), Israeli professor * Dan Harel (1955 ), general in the Israeli Defense Force * David Harel (1950 ), computer sciences professor * Eden Harel (1976 ), Israeli actress and TV host * Idit Harel… …   Wikipedia

  • Harel Skaat — en 2010 Naissance 8  …   Wikipédia en Français

  • HAREL, MENASHE — (1917– ), Israeli scholar in Ereẓ Israel studies. Harel is known for his field trips throughout Israel combining academic pursuits with hiking. Harel was born in Samarkand and immigrated to Israel in 1921. In 1941 he served as a Palmaḥ instructor …   Encyclopedia of Judaism

  • David Elazar — Born August 27, 1925(1925 08 27) Sarajevo, Kingdom of Serbs, Croats and Slovenes Died April 15, 1976(1976 04 15) (aged 50) Jerusalem, Israel …   Wikipedia

  • David Remez — Date of birth 1886 Place of birth Kopys …   Wikipedia

  • David Peleg (computer scientist) — David Peleg (Hebrew: דוד פלג‎) is an Israeli computer scientist. He is a professor at the Weizmann Institute of Science, holding the Norman D. Cohen Professorial Chair of Computer Sciences, and the present dean of the Faculty of Mathematics and… …   Wikipedia

  • David Ivry — Ivry in October 2001 Ambassador of Israel to the United States In office 2000–2002 Preceded by …   Wikipedia

  • David Hacohen — Date of birth 20 October 1898 Place of birth Gomel, Russian Empire Year of aliyah 1907 …   Wikipedia

  • David Ben Ba'ashat — Born 1950 Allegiance Israel Service/ …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.